Constraint logic programming - PDFSEARCH.IO - Document Search Engine

Constraint logic programming
Results: 401

#	Item
101	Selectors Make Analyzing case-lambda Too Hard yz Philippe Meunier y Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:09 Constraint programming Logic programming Computability theory Lambda calculus Theoretical computer science Local consistency Scheme Pseudo-ring Clause Declarative programming Mathematics Mathematical logic
102	Relaxed Survey Propagation: A Sum-Product Algorithm for Max-SAT Hai Leong Chieu Wee Sun Lee Singapore MIT Alliance Add to Reading List Source URL: www.comp.nus.edu.sg Language: English - Date: 2008-11-06 22:58:52 Applied mathematics Logic in computer science Maximum satisfiability problem MAX-3SAT Belief propagation Conjunctive normal form Local search WalkSAT Local consistency Theoretical computer science Constraint programming Mathematics
103	An Introduction to Satisfiability Modulo Theories Clark Barrett and Sanjit Seshia ICCAD 2009 Tutorial – p. 1/78 Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2011-05-26 11:35:50 Electronic design automation Logic in computer science Satisfiability Modulo Theories Theoretical computer science Applied mathematics Constraint programming
104	cKanren miniKanren with Constraints Claire E. Alvis Jeremiah J. Willcock Kyle M. Carter William E. Byrd Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:23:47 Computer programming Constraint logic programming Function Constraint satisfaction problem FO Free variables and bound variables Sheaf AC-3 algorithm Constraint satisfaction Constraint programming Software engineering Mathematics
105	Accelerating lemma learning using joins - DPLL(t) Nikolaj Bjørner Microsoft Research Bruno Dutertre SRI International Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2009-07-21 19:11:23 Automated theorem proving Constraint programming Formal methods Logic in computer science Electronic design automation DPLL algorithm Satisfiability Modulo Theories Boolean satisfiability problem Resolution Theoretical computer science Mathematics Mathematical logic
106	Horn Clause Solvers for Program Verification Nikolaj Bjørner, Arie Gurfinkel, Ken McMillan and Andrey Rybalchenko Microsoft Research, Software Engineering Institutute Abstract. Several recent symbolic model checking too Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2015-04-11 16:07:03 Logic in computer science Formal methods Mathematical logic Predicate logic Rules of inference Resolution Horn clause Predicate transformer semantics Constraint logic programming Theoretical computer science Mathematics Logic
107	Partial Evaluation in Prolog: Some Improvements about Cuts and Control M. Bugliesi F. Russo Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 07:17:54 Logic Functions and mappings Automated theorem proving Resolution Prolog Function Constraint logic programming Mathematics Mathematical logic Rules of inference
108	The Parameterized Complexity of Global Constraints∗ C. Bessiere LIRMM Montpellier, France Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2010-11-22 06:22:28 Computer programming Local consistency Constraint satisfaction Constraint logic programming Parameterized complexity Mathematical optimization Clique problem Decomposition method Complexity of constraint satisfaction Constraint programming Theoretical computer science Software engineering
109	DIMACS Series in Discrete Mathematics and Theoretical Computer Science Using Global Constraints for Local Search Alexander Nareyek Abstract. Conventional ways of using local search are dicult to generalize. Add to Reading List Source URL: www.ai-center.com Language: English - Date: 2010-04-02 04:54:45 Computing Constraint satisfaction Constraint optimization Local search Mathematical optimization Constraint Local consistency Constraint logic programming Constraint programming Software engineering Computer programming
110	Program Verification as Satisfiability Modulo Theories Nikolaj Bjørner Microsoft Research Ken McMillan Microsoft Research Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2012-08-15 16:20:10 Applied mathematics Electronic design automation Logic in computer science NP-complete problems Constraint programming Satisfiability Modulo Theories Boolean satisfiability problem Prolog Predicate transformer semantics Theoretical computer science Mathematics Formal methods

UPDATE